Terminological Meta - Reasoning Byreification and Multiple

We introduce a model and a system architecture for second-order reasoning about statements expressed in a ((rst-order) terminological representation language. This meta-reasoning approach is based on the reiication of rst-order propositions and the mediation between second-and rst-order expressions via translation rules operating on multiple contexts. An application to a concept learning task in a text understanding environment shows how diierent degrees of credibility can be assigned to alternative concept hypotheses on the basis of such a schema for terminological meta-reasoning. Abstract. We introduce a model and a system architecture for second-order reasoning about statements expressed in a ((rst-order) termino-logical representation language. This meta-reasoning approach is based on the reiication of rst-order propositions and the mediation between second-and rst-order expressions via translation rules operating on multiple contexts. An application to a concept learning task in a text understanding environment shows how diierent degrees of credibility can be assigned to alternative concept hypotheses on the basis of such a schema for terminological meta-reasoning.